大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Design Automation Technical Committee 的图书(共7308本)

Computer Science-Theory and Applications [electronic resource] : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedings

0
索取号:
作者:Diekert、 Volker.、Volkov、 Mikhail V.、Voronkov、 Andrei.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Mathematical Foundations of Computer Science 2007 [electronic resource] : 32nd International Symposium, MFCS 2007 膶esk媒 Krumlov, Czech Republic, August 26-31, 2007 Proceedings

0
索取号:
作者:Ku膷era、 Lud臎k.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings

0
索取号:
作者:Az茅mard、 Nadine.、Svensson、 Lars.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advanced Data Warehouse Design [electronic resource] : From Conventional to Spatial and Temporal Applications

0
索取号:
作者:Malinowski、 Elzbieta.、Zim谩nyi、 Esteban.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Analysis and Design of Nonlinear Control Systems [electronic resource] : In Honor of Alberto Isidori

0
索取号:
作者:Astolfi、 Alessandro.、Marconi、 Lorenzo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Computer Systems Architecture [electronic resource] : 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings

0
索取号:
作者:Choi、 Lynn.、Paek、 Yunheung.、Cho、 Sangyeun.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computer Analysis of Images and Patterns [electronic resource] : 12th International Conference, CAIP 2007, Vienna, Austria, August 27-29, 2007. Proceedings

0
索取号:
作者:Kropatsch、 Walter G.、Kampel、 Martin.、Hanbury、 Allan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 6th International Conference, EMMCVPR 2007, Ezhou, China, August 27-29, 2007. Proceedings

0
索取号:
作者:Yuille、 Alan L.、Zhu、 Song-Chun.、Cremers、 Daniel.、Wang、 Yongtian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

First Light in the Universe [electronic resource] : Saas-Fee Advanced Course 36. Swiss Society for Astrophysics and Astronomy

0
索取号:
作者:Loeb、 A.、Ferrara、 A.、Ellis、 R.S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Design by Evolution [electronic resource] : Advances in Evolutionary Design

0
索取号:
作者:Hingston、 Philip F.、Barone、 Luigi C.、Michalewicz、 Zbigniew.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computer Network Security [electronic resource] : Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007 St. Petersburg, Russia, September 13鈥ᵬ 2007 Proceedings

0
索取号:
作者:Gorodetsky、 Vladimir.、Kotenko、 Igor.、Skormin、 Victor A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Design and Construction of Tunnels [electronic resource] : Analysis of controlled deformation in rocks and soils (ADECO-RS)

0
索取号:
作者:Lunardi、 Pietro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algebra and Coalgebra in Computer Science [electronic resource] : Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

0
索取号:
作者:Mossakowski、 Till.、Montanari、 Ugo.、Haveraaen、 Magne.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Rational Algebraic Curves [electronic resource] : A Computer Algebra Approach

0
索取号:
作者:Sendra、 J. Rafael.、Winkler、 Franz.、P茅rez-D铆az、 Sonia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007. Proceedings

0
索取号:
作者:Vassiliadis、 Stamatis.、Berekovi膰、 Mladen.、H盲m盲l盲inen、 Timo D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Robotic Welding, Intelligence and Automation [electronic resource]

0
索取号:
作者:Tarn、 Tzyh-Jong.、Chen、 Shan-Ben.、Zhou、 Changjiu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.